Operational semantics - PDFSEARCH.IO - Document Search Engine

Operational semantics
Results: 199

#	Item
121	h hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh Chapter 10 ❖ Add to Reading List Source URL: www.nondot.org Language: English - Date: 2001-03-26 23:04:40 Logic in computer science Programming language semantics Quotient Remainder Divisor Denotational semantics Operational semantics Function Axiomatic semantics Mathematics Theoretical computer science Division
122	Towards xMOF: Executable DSMLs based on fUML∗ Tanja Mayerhofer Philip Langer Manuel Wimmer Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2012-10-11 07:24:29 Computing Kermeta Metamodeling Operational semantics Programming language Semantics Profile Domain-specific modeling Modeling language Unified Modeling Language Software engineering Software
123	An Operational Semantics for JavaScript Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-03-09 22:02:41 Scripting languages Cross-platform software Type theory Data types Functional programming JavaScript Operational semantics ECMAScript Type system Software engineering Computing Computer programming
124	Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-12-16 08:06:13 Logical syntax Theoretical computer science Logic in computer science Proof theory Coinduction Rule of inference Theorem Formal proof Structural induction Logic Mathematics Mathematical logic
125	Reconstructing Trust Management Ajay Chander ∗ Drew Dean † John C. Mitchell∗ Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-02-04 00:01:29 Simple public key infrastructure Access control Logic in computer science Programming language semantics Access Control Matrix Kernel Architecture of Windows NT Operational semantics Logical access control Security Computer security Key management
126	Contrasting Exceptions and Continuations Hayo Thielecke School of Computer Science University of Birmingham Birmingham B15 2TT Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2001-10-19 09:34:25 Functional languages Procedural programming languages Control flow Lisp programming language Subroutines Continuation Operational semantics Exception handling Standard ML Software engineering Computing Computer programming
127	An Operational Foundation for Delimited Continuations Małgorzata Biernacka, Dariusz Biernacki, and Olivier Danvy BRICS ∗ Department of Computer Science University of Aarhus † Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:19 Computer programming Continuations Programming language semantics Delimited continuation C2 Update Operational semantics Defunctionalization APT Software engineering Computing Control flow
128	Small Bisimulations for Reasoning About Higher-Order Imperative Programs Vasileios Koutavas Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-11 12:39:28 Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Bisimulation Semantics of programming languages Lambda calculus Theoretical computer science Logic in computer science Logic
129	Journal of Universal Computer Science, vol. 15, no), submitted: , accepted: , appeared: 1/7/09 © J.UCS On the Semantics and Verification of Normative Multi-Agent Systems L˘ Add to Reading List Source URL: www.jucs.org Language: English - Date: 2010-11-24 10:39:58 Logic programming Predicate logic Propositional calculus Clause J Norm Reason Operational semantics Brute fact Software engineering Computing Computer programming
130	References [1] L. Aceto, W.J. Fokkink, R.J. van Glabbeek & A. Ing´olfsd´ottir (1996): Axiomatizing Prefix Iteration with Silent Steps. Information and Computation 127(1), pp. 26–40, doi:incoAvail Add to Reading List Source URL: rvg.web.cse.unsw.edu.au Language: English - Date: 2015-05-13 04:41:10 Glabbeek Lecture Notes in Computer Science Operational semantics Geography of Belgium Computer science Belgium Electronic Proceedings in Theoretical Computer Science Logic in computer science Programming language semantics

UPDATE